#include <cstdio>
#include <string>
#include <iostream>

#include "dumpfile.h"
#include "symbol_table.h"
#include "bpage_complete_test.h"

using namespace std;

int main(int argv, char ** argc)
{
    Dmp_Load(argc[1]);
    Sym_Load(string(argc[2]));
    //Dmp_PrintHeader();
    BPComplete_DoTest();
    return 0;
}
